Verifying solutions to differential equations